//]]>
Unhighlight Highlight
Ada 2012 Reference Manual. Language and Standard Libraries by Taft, S. Tucker. Publication: . XXVIII, 921 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ada 2012 Rationale by Barnes, John. Publication: . XI, 213 p. 3 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multicore Software Engineering, Performance, and Tools by Lourenço, João M. Publication: . X, 111 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Brat, Guillaume. Publication: . XXIV, 486 p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages and Compilers for Parallel Computing by Kasahara, Hironori. Publication: . XII, 276 p. 101 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Aliasing in Object-Oriented Programming. Types, Analysis and Verification by Clarke, Dave. Publication: . VIII, 515 p. 134 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Fraser, Gordon. Publication: . XVI, 293 p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multicore Software Engineering, Performance, and Tools by Pankratius, Victor. Publication: . VIII, 95 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Grid and Pervasive Computing by Li, Ruixuan. Publication: . XIII, 370p. 117 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dependable Networks and Services by Sadre, Ramin. Publication: . XIII, 161 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Goodloe, Alwyn E. Publication: . XII, 466p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Aichernig, Bernhard K. Publication: . VII, 393p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Network and Parallel Computing by Altman, Erik. Publication: . XIII, 368 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Parallel Processing Technologies by Temam, Olivier. Publication: . 190p. 89 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Cohen, Myra B. Publication: . XV, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011 Parallel Processing by Jeannot, Emmanuel. Publication: . XXXIII, 598p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2011 Parallel Processing by Jeannot, Emmanuel. Publication: . Approx. 490 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Managing the Dynamics of Networks and Services by Chrisment, Isabelle. Publication: . X, 181p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Bobaru, Mihaela. Publication: . XIV, 534 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Boer, Frank S. Publication: . X, 339p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 Next >>
Languages: 
English |
العربية